Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
linear logic
A logic invented by Girard in 1987 that can be used
in proofs related to resource usage.
http://brics.dk/LS/96/6/BRICS-LS-96-6/BRICS-LS-96-6.html.
[Wadler, P., "Is there a use for linear logic", ACM/IFIP PEPM
Conference, 1991].
[Summary?]
(2003-05-02)